University of Chieti - PDFSEARCH.IO - Document Search Engine

University of Chieti
Results: 12

#	Item
1	An Eco-Cognitive Model of Ignorance Immunization Selene Arfini () Department of Philosophy, Education and Economical-quantitative Sciences, University of Chieti and Pescara Chieti-Pescara, 66013 Ita Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2015-08-07 07:25:17
2	Removing Unnecessary Variables from Horn Clause Verification Conditions E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy Add to Reading List Source URL: hcvs2016.it.uu.se - Date: 2016-04-08 07:01:12
3	Semantics-based generation of verification conditions by program specialization E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2015-07-15 04:16:46
4	Semantics-based generation of verification conditions by program specialization E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2015-07-15 04:16:46
5	Software Verification and Synthesis using Constraints and Program Transformation Emanuele De Angelis University ‘G. d’Annunzio’ of Chieti–Pescara Convegno Italiano di Logica Computazionale 2015 Genova, 1 July, 20 Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2015-10-03 15:32:56
6	Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’ Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2012-10-22 15:02:02
7	VeriMAP A Tool for Verifying Programs through Transformations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti University of Chieti – Pescara ‘G. d’Annunzio’, Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2015-01-15 17:01:04
8	Microsoft Word - Posteri i Masterit Cultural Heritage.doc Add to Reading List Source URL: www.chtmbal.com Language: English - Date: 2012-11-16 05:00:52 Tourism Cultural tourism Human behavior Behavior Shkodër Luigj Gurakuqi University of Chieti
9	Spatial Network Sampling in Small Area Estimation Roberto Benedetti1, Stefano Marchetti2, Federica Piersimoni3, Monica Pratesi4,5 1 University “G. d’Annunzio” of Chieti-Pescara, ITALY 2,4 University of Pisa, ITALY Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:19 Statistical inference Survey methodology Signal processing Estimator Variance Sample size determination Mean squared error Linear regression Autocorrelation Statistics Estimation theory Sampling
10	Spatial Network Sampling in Small Area Estimation Roberto Benedetti University “G. d’Annunzio” of Chieti-Pescara, Italy Stefano Marchetti University of Pisa, Italy Fe Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:19 Science Market research Survey methodology Sample Simple random sample Statistics Sampling Information

UPDATE